Top $\in$ Type